<?php
// page1.php

session_start();
?>